<?php



// The following was copied from an example in the PHP
// manual here:
// http://php.net/manual/en/function.session-destroy.php
//===============================================================================
session_start();

// Unset all of the session variables.
$_SESSION = array();

// If it's desired to kill the session, also delete the session cookie.
// Note: This will destroy the session, and not just the session data!
if (ini_get("session.use_cookies")) {
    $params = session_get_cookie_params();
    setcookie(session_name(), '', time() - 42000,
        $params["path"], $params["domain"],
        $params["secure"], $params["httponly"]
    );
}

// Finally, destroy the session.
session_destroy();
//===============================================================================

?>

<center>
<META HTTP-EQUIV="refresh" CONTENT="3; URL=index.php">
<p><font size="+1">User logged out.</font></p>
<p><a href="index.php">continue</a> (automatic in 3 seconds)</p>
</center>
